Document that dev-dependencies are used when building examples

diff --git a/src/doc/manifest.md b/src/doc/manifest.md
index cbd3b00440945a56d3ff39f9cbd9ac3c9a6866c5..dfde002f5beef5a6ab187334c7b7ce4bf8d20684 100644 (file)
--- a/src/doc/manifest.md
+++ b/src/doc/manifest.md
@@ -403,7 +403,7 @@ can almost certainly be expressed as a separate package.
 
 The format of this section is equivalent to `[dependencies]`. Dev-dependencies
 are not used when compiling a package for building, but are used for compiling
-tests and benchmarks.
+tests, examples, and benchmarks.
 
 These dependencies are *not* propagated to other packages which depend on this
 package.